Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
651	Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed] Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2012-05-18 10:26:19 Cross-platform software Type theory Data types Scripting languages Program analysis Type system Ada Groovy Type safety Computing Software engineering Programming language theory
652	Dual-Type Automatic Speech Recogniser Designs for Spoken Dialogue Systems Jason Littlefield and Michael Broughton Command and Control Division, Defence Science and Technology Organisation PO Box 1500 Edinburgh, Australia Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:59 Computational linguistics User interfaces Automatic identification and data capture Computer accessibility Speech recognition Nuance Communications Microsoft Speech API Dialog system Dragon NaturallySpeaking Software Humanâ€“computer interaction Computing
653	ParkBEC installation guide June 2007 Introduction: The ParkBEC is a switch-mode BEC specifically designed for parkflyer type aircraft. It weighs only 6.2 grams with full wires, and as little as 4.1g if the wires are remo Add to Reading List Source URL: www.dimensionengineering.com Language: English - Date: 2012-04-06 12:35:55 Technology Systems theory Servo Cybernetics Electrical connector Radio-controlled aircraft Model aircraft Electronic speed control Radio control Control theory Servomechanism
654	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
655	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
656	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
657	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
658	Local Procurement – Nyngan Solar Plant Knowledge type: Supply Chain Knowledge category: Logistical Technology: Solar photovoltaic Key learning The delivery of a utility scale solar project requires supply of equipment Add to Reading List Source URL: arena.gov.au Language: English - Date: 2015-02-09 22:22:09 Management Systems engineering Procurement Supply chain First Solar EPC Logistics Photovoltaics Business Technology Supply chain management
659	Positive Ageing Journey 2015 Registration Form Please complete one form per person. Please photocopy if necessary. Please print. Type of registration: Post Add to Reading List Source URL: cotaqld.org.au Language: English - Date: 2015-04-07 23:15:51 Payment systems Computing Technology Business Electronic commerce Credit card Email Fee
660	Reducing the Cost of Perfect Match Accesses in Object Database Systems Kjetil Nørv˚ag Department of Computer and Information Science Norwegian University of Science and Technology 7491 Trondheim, Norway Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:05:17 Computing ODB Object database Digital signature Signature Database Relational database Object-relational database Type signature Database management systems Cryptography Data management

UPDATE